A Geometrical Representation of the Basic Laws of Categorial Grammar
نویسندگان
چکیده
We present a geometrical analysis of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus. In Abrusci (On residuation, 2014) it is shown that the basic properties known as Residuation laws can be characterized in the framework of Cyclic Multiplicative Linear Logic, a purely non-commutative fragment of Linear Logic. We present a summary of this result and, pursuing this line of investigation, we analyze a well-known set of categorial grammar laws: Monotonicity, Application, Expansion, Type-raising, Composition, Geach laws and Switching laws.
منابع مشابه
Morphosyntactic Generation of Turkish from Predicate-Argument Structure
In Turkish, which is an agglutinative language, it is difficult to divide morphology and syntax, therefore it is reasonable to treat them in the same way. In this paper, we present morphosyntactic generation of Turkish surface forms from a structured meaning representation, predicate-argument structure (PAS). The algorithm uses a categorial framework which integrates inflectional morphology, sy...
متن کاملCategorial Grammar And Discourse Representation Theory
In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.
متن کاملA Structural Interpretation of Combinatory Categorial Grammar
This paper gives an interpretation of Combinatory Categorial Grammar derivations in terms of the construction of traditional phrase structure trees. This structural level of representation not only shows how CCG is related to other grammatical investigations, but this paper also uses it to extend CCG in ways which are useful for analyzing and parsing natural language, including a better analysi...
متن کاملA Learnable Representation for Syntax Using Residuated Lattices
We propose a representation for natural language syntax based on the theory of residuated lattices: in particular on the Galois lattice between contexts and substrings, which we call the syntactic concept lattice. The natural representation derived from this is a richly structured context sensitive formalism that can be learned using a generalisation of distributional learning. In this paper we...
متن کاملSymmetric Categorial Grammar
The Lambek-Grishin calculus is a symmetric version of categorial grammar obtained by augmenting the standard inventory of type-forming operations (product and residual left and right division) with a dual family: coproduct, left and right difference. Interaction between these two families is provided by distributivity laws. These distributivity laws have pleasant invariance properties: stabilit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Studia Logica
دوره 105 شماره
صفحات -
تاریخ انتشار 2017